program transformation

Design and Implementation of C to Java Automatic Program Transformation System Prototype

C-Java自动程序转换系统原型的设计和实现

Development of APLA to C + + Automatic Program Transformation System

APLA到C++自动程序转换系统的研制

Binary program transformation has played an important role in reverse program analysis .

二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。

Research on Functional Embedding Method of Program Transformation

关于递归变换之函数嵌入法的若干研究

Program transformation between gamma and unity : a case study

Unity和Gamma之间的程序变换：一个实例研究

Program transformation and its application in rapid prototyping

程序变换及其在快速成型技术中的应用

Application of the recursive program transformation to driving formulae of some special functions

递归程序变换在特殊函数公式推导中的应用

Control System Based on Dual-head CNC Lathe Formulation of Overall Program Transformation

基于双系统控制双头车床数控化改造总体方案的拟定

A New Pattern of Recursive Program Transformation & CZ Transformation

递归程序变换的一种新模式一CZ变换

It gives the implementation of the algorithm in automatic program transformation system of PAR platform .

该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过。

Automatic acquisition of program transformation rules

程序转换规则的自动获取

Development of APLA-JAVA Automatic Program Transformation System

APLA-JAVA程序自动转换系统的研制

Explanation based program transformation

基于解释的程序转换

Program transformation by solving equations

一种通过求解程序方程进行程序转换的方法

A Functional Program Transformation Based on Algorithmic Skeletons

一种基于算法骨架的函数式程序变换技术

Transformation grammar and program transformation

转换文法与程序转换

We can study program transformation , program optimization and investigate general theorems of program properties with help of it .

它享有优美的代数性质，有助于程序的转换、优化和探求有关程序性质的一般定理。

Termination preserving problem in program transformation

程序转换中的终止性保持问题

A designing method for patterns of-recursive program transformation

关于递归程序变换模式的设计方法

A notation of program transformation in programming LANGUAGES-ON transformational programming languages

程序变换在程序语言中的一种表示&兼论变换型语言

Partial Evaluation is a program transformation technique aimed at specializing a program with respect to some part of its input .

部分求值是一种程序转换技术，它的目的是根据部分输入来例化一个程序。

Hypertext-Based Object-Oriented Logical and Functional Program Transformation

基于超文本的面向对象的逻辑型和函数型程序变换

Automatic program transformation is the important component of PAR method , which is aided tool for developing advanced language program with PAR method .

自动程序转换系统是整个PAR方法理论框架的重要组成部分，是用PAR方法开发高级语言程序的辅助工具。

In this paper , how to apply the techniques of pattern recognition , symbol execution , program transformation and knowledge engineering in decompiler design is presented .

模式识别、符号执行、程序变换和知识工程等技术在作者提出的反编译方法的各阶段中被应用。

The basic structure and implementation of a program transformation system , which is based on transformation to derive program , is proposed . Some representative achievements are cited .

本文概述了程序变换的基本思想，阐述了基于变换技术导出程序的程序变换系统的基本结构及其实现方法，最后概要介绍了一些具有代表性的研究成果。

Code obfuscation is a program transformation satisfying semantics-equivalence . The semantic relationship is the key to detecting whether a program is variation of a malware .

代码迷惑是一种保语义的程序变换技术，可以使用这种程序之间的语义相关性来作为识别一个程序是否是某恶意程序变体的标准。

In recent years , the developments of automatic parallel compilation technique , including dependence analysis , program transformation , data distribution and redistribution , and scheduling , have gradually made it practically applicable .

近几年来，自动并行编译技术的研究进展，包括在依赖关系分析、程序变换、数据分布和重分布及调度等方面的进展，将自动并行编译进一步推向了实用化。

Introduces a testability transformation algorithm which , through program transformation , eliminates the flag variables , thus offers an solution to the issue of generating test data for programs containing flag variables .

介绍一种可测试性转换算法（TestabilityTransformationAlgorithm），通过程序转换的方法，把程序中的标志变量去掉，解决含有标志变量的程序的测试数据产生的问题。

We analysed the traditional automatic parallelization technology , including dependency analysis theory , program transformation technology , parallel scheme and the optimization of related synchronization and communication etc , which are the theoretical basis of the whole article .

本文讨论、分析、总结了通用的自动并行化技术：相关性分析理论、程序变换技术、并行模式以及同步通信与优化问题等等，它们是本文研究工作的理论基础；

The application of program transformation method to logic program is mainly based on such theory , namely , Fold / Unfold transformation holds the least Herbrand model semantics and the semantics of answer substitution set of logic program .

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果，即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复置换集语义。